import cpp

from Call c, int i, Declaration d, Type t
where c.getArgument(i) instanceof Access and 
    d = c.getArgument(i).(Access).getTarget() and 
    t = c.getTarget().(Function).getParameter(i).getType()
select d.getLocation().toString(), t.getLocation().toString()